381. Dynamics, information and complexity in quantum systems
پدیدآورنده : Benatti, Fabio
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Quantum theory,، Kolmogorov complexity,، Quantum entropy,، Differentiable dynamical systems,، Computational complexity
رده :
QC
174
.
12
.
B452
2009
382. Efficient checking of polynomials and proofs and the hardness of approximation problems
پدیدآورنده : Sudan, Madhu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، NP-complete problems,، Computational complexity,، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1001
383. Electronic design automation of analog ICs combining gradient models with multi-objective evolutionary algorithms
پدیدآورنده : Frederico A.E. Rocha, Ricardo M.F. Martins, Nuno C.C. Lourenco, Nuno C.G. Horta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Design and construction ، Linear integrated circuits,، Engineering,، Circuits and Systems,، Computational Intelligence,، Algorithm Analysis and Problem Complexity
رده :
TK7874
384. Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oleron, France, May 25-29, 1987 : Proceedings
پدیدآورنده : M. Gross, D. Perrin, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity
رده :
QA
76
.
L28
Vol
.
377
385. Elements for a Theory of Decision in Uncertainty
پدیدآورنده : by Jaime Gil-Aluja.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity.,Economics.,Logic, Symbolic and mathematical.,Operations research.,Social sciences-- Methodology.
386. #Elements of the theory of computation
پدیدآورنده : #Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Machine theory ،Formal languages ،Computational complexity ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
L49
،#
1998
387. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
388. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
389. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
390. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
391. Elements of the theory of computation
پدیدآورنده : LEWIS,HARRY R
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MACHINE THEORY , FORMAL LANGUAGE , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
L49
392. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
393. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
394. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
395. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
396. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
397. Encyclopedia of complexity and systems science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity ;
398. Entropy, search, complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Entropy (Information theory) ; Search theory. ; Computational complexity. ;
399. Entropy, search, complexity /
پدیدآورنده : Imre Csiszár, Gyula O.H. Katona, Gábor Tardos (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational complexity,Entropy (Information theory),Search theory
رده :
Q370
.
E58
2007